HP Labs - Java, Garbage collection, language theory

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

University of Cambridge - Speech and language processing, computational linguistics.

Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile...

York University, Ontario - Concurrent programming languages, semantics, specification languages.

University of Newcastle - Security of statistical databases.

Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.